Some Results on Matchgates and Holographic Algorithms
نویسندگان
چکیده
We establish a 1-1 correspondence between Valiant’s character theory of matchgate/matchcircuit [14] and his signature theory of planar-matchgate/matchgrid [16], thus unifying the two theories in expressibility. In [5], we had established a complete characterization of general matchgates, in terms of a set of useful Grassmann-Plücker identities. With this correspondence, we give a corresponding set of identities which completely characterizes planar-matchgates and their signatures. Applying this characterization we prove some negative results for holographic algorithms. On the positive side, we also give a polynomial time algorithm for a simultaneous node-edge deletion problem, using holographic algorithms. Finally we give characterizations of symmetric signatures realizable in the Hadamard basis.
منابع مشابه
Holographic algorithms beyond matchgates
Holographic algorithms were first introduced by Valiant as a new methodology to derive polynomial time algorithms. The algorithms introduced by Valiant are based on matchgates, which are intrinsically for problems over planar structures. In this paper we introduce two new families of holographic algorithms. These algorithms work over general, i.e., not necessarily planar, graphs. Instead of mat...
متن کاملA Collapse Theorem for Holographic Algorithms with Matchgates on Domain Size at Most 4
Holographic algorithms with matchgates are a novel approach to design polynomial time computation. It uses Kasteleyn’s algorithm for perfect matchings, and more importantly a holographic reduction. The two fundamental parameters of a holographic reduction are the domain size k of the underlying problem, and the basis size l. A holographic reduction transforms the computation to matchgates by a ...
متن کاملOn Blockwise Symmetric Matchgate Signatures and Higher Domain \#CSP
For any n ≥ 3 and q ≥ 3, we prove that the Equality function (=n) on n variables over a domain of size q cannot be realized by matchgates under holographic transformations. This is a consequence of our theorem on the structure of blockwise symmetric matchgate signatures. This has the implication that the standard holographic algorithms based on matchgates, a methodology known to be universal fo...
متن کاملA New Class of Holographic Algorithms: Fibonacci Gates
We introduce Fibonacci gates as a polynomial time computable primitive, and develop a theory of holographic algorithms based on these gates. The Fibonacci gates play the role of matchgates in Valiant’s theory [16]. We develop a signature theory and characterize all realizable signatures for Fibonacci gates. For bases of arbitrary dimensions we prove a universal bases collapse theorem. We apply ...
متن کاملHolographic algorithms without matchgates
The theory of holographic algorithms, which are polynomial time algorithms for certain combinatorial counting problems, yields insight into the hierarchy of complexity classes. In particular, the theory produces algebraic tests for a problem to be in the class P. In this article we streamline the implementation of holographic algorithms by eliminating one of the steps in the construction proced...
متن کامل